1. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Gilles Barthe, Manuel Hermenegildo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK